size

pure function size(): integer

Get the size (number of entries) of this map.

Since

0.6.0